Section: New Results

A Constraint Seeker (classification, constraints and application)

Participants : Nicolas Beldiceanu, Helmut Simonis.

We design a Constraint Seeker application which provides a web interface to search for global constraints in the global constraint catalog, given positive and negative ground examples. Based on the given instances the tool returns a ranked list of matching constraints, the rank indicating whether the constraint is likely to be the intended constraint of the user. A systematic evaluation is provided over the complete global constraint catalog.

The corresponding paper A Constraint Seeker: Finding and Ranking Global Constraints from Examples [16] was published at the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011 ) and the corresponding tool is available as a web service at http://www.emn.fr/z-info/sdemasse/gccat/ .